683968dd07d5dce8e77b599b519de4d32c8f1171,examples/it.xsemantics.example.fj/xsemantics-gen/it/xsemantics/example/fj/typing/FjTypeSystem.java,FjTypeSystem,checkFieldInternal,#RuleApplicationTrace#Field#,490

Before Change


    EObject _eContainer = field.eContainer();
    final it.xsemantics.example.fj.fj.Class clazz = ((it.xsemantics.example.fj.fj.Class) _eContainer);
    it.xsemantics.example.fj.fj.Class _superclass = clazz.getSuperclass();
    boolean _notEquals = (!Objects.equal(_superclass, null));
    if (_notEquals) {
      it.xsemantics.example.fj.fj.Class _superclass_1 = clazz.getSuperclass();
      List<Field> inheritedFields = this.fieldsInternal(_trace_, _superclass_1);
      final Procedure1<Field> _function = new Procedure1<Field>() {
        public void apply(final Field inheritedField) {

After Change


    EObject _eContainer = field.eContainer();
    final it.xsemantics.example.fj.fj.Class clazz = ((it.xsemantics.example.fj.fj.Class) _eContainer);
    it.xsemantics.example.fj.fj.Class _superclass = clazz.getSuperclass();
    boolean _tripleNotEquals = (_superclass != null);
    if (_tripleNotEquals) {
      List<Field> inheritedFields = this.fieldsInternal(_trace_, clazz.getSuperclass());
      final Consumer<Field> _function = new Consumer<Field>() {
        @Override
        public void accept(final Field inheritedField) {